翻訳と辞書 Words near each other ・ Doxa Megalopoli ・ Doxa Nea Manolada F.C. ・ Doxa Pentalofos M.A.S. ・ Doxa Petroussa F.C. ・ Doxa S.A. ・ Doxa Vyronas F.C. ・ Doxacurium chloride ・ Doxander ・ Doxander campbelli ・ Doxander vittatus ・ Doxanthrine ・ Doxapatres Boutsaras ・ Doxapram ・ Doxaras ・ Doxastic attitudes ・ Doxastic logic ・ Doxastic voluntarism ・ Doxastikon ・ Doxato ・ Doxazosin ・ Doxbin ・ Doxefazepam ・ Doxepin ・ Doxercalciferol ・ Doxey ・ Doxey Marshes ・ Doxford ・ Doxford House ・ Doxford International Business Park ・ Doxford Park Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Doxastic logic ： ウィキペディア英語版 Doxastic logic Doxastic logic is a modal logic concerned with reasoning about beliefs. The term ''doxastic'' derives from the ancient Greek δόξα, ''doxa'', which means "belief." Typically, a doxastic logic uses 'Bx' to mean "It is believed that x is the case," and the set $\backslash mathbb$ denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. ::$\backslash mathbb$: ,...,b_} There is complete parallelism between a person who believes propositions and a formal system that derives propositions. Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other metalogical results in terms of belief.〔Smullyan, Raymond M., (1986) (''Logicians who reason about themselves'' ), Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, Monterey (CA), Morgan Kaufmann Publishers Inc., San Francisco (CA), pp. 341-352〕 ==Types of reasoners== To demonstrate the properties of sets of beliefs, Raymond Smullyan defines the following types of reasoners: * Accurate reasoner:〔〔http://cs.wwc.edu/KU/Logic/Book/book/node17.html Belief, Knowledge and Self-Awareness 〕〔 http://moonbase.wwc.edu/~aabyan/Logic/Modal.html Modal Logics 〕〔 Smullyan, Raymond M., (1987) ''Forever Undecided'', Alfred A. Knopf Inc. 〕 An accurate reasoner never believes any false proposition. (modal axiom T) : $\backslash forall\; p:\; \backslash mathcalp\; \backslash to\; p$ * Inaccurate reasoner:〔〔〔〔 An inaccurate reasoner believes at least one false proposition. : $\backslash exists\; p:\; \backslash neg\; p\; \backslash wedge\; \backslash mathcalp$ * Conceited reasoner:〔〔 A conceited reasoner believes his or her beliefs are never inaccurate. A conceited reasoner will necessarily lapse into an inaccuracy. : $\backslash mathcal(p:\; \backslash neg\; p\; \backslash wedge\; \backslash mathcalp)$ : or : $\backslash mathcal(p:\; \backslash mathcalp\; \backslash to\; p)$ * Consistent reasoner:〔〔〔〔 A consistent reasoner never simultaneously believes a proposition and its negation. (modal axiom D) : $\backslash neg\backslash exists\; p:\; \backslash mathcalp\; \backslash wedge\; \backslash mathcal\backslash neg\; p$ : or : $\backslash forall\; p:\; \backslash mathcalp\; \backslash to\; \backslash neg\backslash mathcal\backslash neg\; p$ * Normal reasoner:〔〔〔〔 A normal reasoner is one who, while believing p, also ''believes'' he or she believes p (modal axiom 4). : $\backslash forall\; p:\; \backslash mathcalp\; \backslash to\; \backslash mathcalp$ * Peculiar reasoner:〔〔 A peculiar reasoner believes proposition p while also believing he or she does not believe p. Although a peculiar reasoner may seem like a strange psychological phenomenon (see Moore's paradox), a peculiar reasoner is necessarily inaccurate but not necessarily inconsistent. : $\backslash exists\; p:\; \backslash mathcalp\; \backslash wedge\; \backslash mathcalp$ * Regular reasoner:〔〔〔〔 A regular reasoner is one who, while believing $p\; \backslash to\; q$, also ''believes'' $\backslash mathcalp\; \backslash to\; \backslash mathcalq$. : $\backslash forall\; p:\; \backslash forall\; q:\; \backslash mathcal(p\; \backslash to\; q)\; \backslash to\; \backslash mathcal\; (\backslash mathcalp\; \backslash to\; \backslash mathcalq)$ * Reflexive reasoner:〔〔 A reflexive reasoner is one for whom every proposition p has some q such that the reasoner believes $q\; \backslash equiv\; (\; \backslash mathcalq\; \backslash to\; p)$. : $\backslash forall\; p:\backslash exists\; q:\backslash mathcal(q\; \backslash equiv\; (\; \backslash mathcalq\; \backslash to\; p))$ :If a reflexive reasoner of type 4 (below ) believes $\backslash mathcalp\; \backslash to\; p$, he or she will believe p. This is a parallelism of Löb's theorem for reasoners. * Unstable reasoner:〔〔 An unstable reasoner is one who believes that he or she believes some proposition, but in fact does not believe it. This is just as strange a psychological phenomenon as peculiarity; however, an unstable reasoner is not necessarily inconsistent. : $\backslash exists\; p:\; \backslash mathcal\backslash mathcalp\; \backslash wedge\; \backslash neg\backslash mathcalp$ * Stable reasoner:〔〔 A stable reasoner is not unstable. That is, for every p, if he or she believes Bp then he or she believes p. Note that stability is the converse of normality. We will say that a reasoner believes he or she is stable if for every proposition p, he or she believes BBp→Bp (believing: "If I should ever believe that I believe p, then I really will believe p"). : $\backslash forall\; p:\; \backslash mathcalp\backslash to\backslash mathcalp$ * Modest reasoner:〔〔 A modest reasoner is one for whom every believed proposition p, $\backslash mathcalp\; \backslash to\; p$ only if he or she believes p. A modest reasoner never believes Bp→p unless he or she believes p. Any reflexive reasoner of type 4 is modest. (Löb's Theorem) : $\backslash forall\; p:\; \backslash mathcal(\backslash mathcalp\; \backslash to\; p)\; \backslash to\; \backslash mathcalp$ * Queer reasoner:〔 A queer reasoner is of type G and believes he or she is inconsistent—but is wrong in this belief. * Timid reasoner:〔 A timid reasoner is afraid to believe p (he or she does not believe p ) if he or she believes $\backslash mathcalp\; \backslash to\; \backslash mathcal\backslash bot$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Doxastic logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.